# platform/pc.mk - PC platform-specific makefile.
# Copyright (C) 2007  Mikhail Vorozhtsov
# See the LICENSE section of the README file for details.

# $Id$

CXX_SRCS := \
  $(CXX_SRCS) \
  $(call platform-src,console-vga.cc console-serial.cc) \
	$(call anima-platform-src,cmdline.cc console.cc firmware.cc)

